Kolmogorov Complexity: Recent Research in Moscow

نویسنده

  • Vladimir A. Uspensky
چکیده

The Kolmogorov complexity theory emerged in sixties; main definitions were independently found by Ray Solomonoff, A.N. Kolmogorov and G. Chaitin. The motivations for the definition were quite different. For Solomonoff the main goal was inductive inference theory. Kolmogorov's work was closely connected with foundations of probability theory and information theory. Chaitin's studied the length of programs for computing binary sequences. For the historical account as well as for the exact definitions of the main notions of Kolmogorov complexity theory we refer the reader to the book of Ming Li and Paul Vitanyi [6]. Let us say only that most basic questions connected with Kolmogorov complexity were solved in seventies; the main achievement, probably, was the definition of randomness for individual random sequence and the complexity characterization of random sequences (A.N. Kolmogorov, P. MartinLSf, L.A. Levin, C.P. Schnorr). At the same time it became clear that the philosophical notion of randomness should be studied in the framework of computational complexity theory. The notions of a pseudorandom number generator plays here a central role; since eighties a lot of philosophically interesting and technically deep results were obtMned. Nevertheless, there are some natural question about Kolmogorov complexity which are still unsolved. We believe that they deserve attention (for mathematical, if not philosophical reasons); the goal of this talk is to state some of the questions and the results obtained in Moscow during the last years.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Non-reducible Descriptions for Conditional Kolmogorov Complexity

Assume that a program p on input a outputs b. We are looking for a shorter program q having the same property (q(a) = b). In addition, we want q to be simple conditional to p (this means that the conditional Kolmogorov complexity K (q|p) is negligible). In the present paper, we prove that sometimes there is no such program q, even in the case when the complexity of p is much bigger than K (b|a)...

متن کامل

Kolmogorov and Mathematical Logic

There are human beings whose intellectual power exceeds that of ordinary men. In my life, in my personal experience, there were three such men, and one of them was Andrei Nikolaevich Kolmogorov. I was lucky enough to be his immediate pupil. He invited me to be his pupil at the third year of my being student at the Moscow University. This talk is my tribute, my homage to my great teacher. Andrei...

متن کامل

On Kolmogorov Machines and Related Issues

I felt honored and uncertain when Grzegorsz Rozenberg, the president of EATCS, proposed that I write a continuing column on logic in computer science in this Bulletin. Writing essays wasn’t my favorite subject in high school. After some hesitation, I decided to give it a try. I’ll need all the help I can get from you: criticism, comments, queries, suggestions, etc. Andrei Nikolayevich Kolmogoro...

متن کامل

Limit complexities revisited [once more]

The main goal of this article is to put some known results in a common perspective and to simplify their proofs. We start with a simple proof of a result of Vereshchagin [13] saying that limsupnC(x|n) (here C(x|n) is conditional (plain) Kolmogorov complexity of x when n is known) equals C0 ′ (x), the plain Kolmogorov complexity with 0′-oracle. Then we use the same argument to prove similar resu...

متن کامل

Optimal probabilistic polynomial time compression and the Slepian-Wolf theorem: tighter version and simple proofs

We give simplify the proofs of the 2 results in Marius Zimand’s paper Kolmogorov complexity version of Slepian-Wolf coding, proceedings of STOC 2017, p22–32. The first is a universal polynomial time compression algorithm: on input ε > 0, a number k and a string x, computes in polynomial time with probability 1 − ε a program of length k+O(log(|x|/ε)) that outputs x, provided that there exists su...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1996